bl-جبرهای حالت
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه هرمزگان - دانشکده علوم پایه
- نویسنده راحله عسکری زاده کوویی
- استاد راهنما مسعود هاوشکی
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1392
چکیده
bl-جبرهای حالت مطالعه ی منطق و بررسی آن از دیدگاه جبری می باشد به عبارتی دیگر میتوان فرمول های منطق را به جبر متناظر با آن ترجمه نمو و سپس با استفاده از روابط جبری به خواص منطق پایه دست یاافت. ابتدا مفاهیم مقدماتی و تعاریف پیش نیاز لازم برای ورودبه نپمبحث اصلی عنوان شده است. در فصل اول bl-جبرهای حالت و قوی را معرفی معرفی می شود سپس عملگر حالت بر روی mv-جبرها توصیف شده و بررسی می شود که تحت چه شرایطی mv-جبر یک bl-جبر حالت می باشد و مفهوم عملگر مورفیسم حالت پرداخته می شود. در فصل چهارم تعریف فیلتر حالت بیان می شود و مفاهیم رادیکال بررسی می شود و تعاریف فیلتر اول حالت و ایده آل حالت بیان می شود. و در فصل دسته بندی های حالت بر اساس تعاریف ساده،موضعی و نیم ساده نسبت به مجموعه فیلترهای آن مورد مطالعه قرار گرفته و ارتباط این تعاریف با فیلترهای ساده،نیم ساده و موضعی بررسی می شود.
منابع مشابه
فیلترها در جبرهای bl
در این پایان نامه، سعی بر معرفی و شناخت انواع فیلترها، به منظور شناخت ابعاد مختلف جبرهای bl و دسته بندی آن ها می باشد. پس از ارائه مفاهیم مقدماتی و تعاریف پیش نیاز، نخست فیلترهای استلزامی و استلزامی مثبت را معرفی و روابط بین این فیلترها با جبرهای گودل و بولی را بررسی می کنیم و ثابت می کنیم که فیلتر استلزامی مثبت و فیلتر بولی در جبرهایbl با یکدیگر معادل اند. سپس فیلترهای جالب و نرمال را مطرح و ...
جبرهای bl باحالت درونی
مفهوم کلی یک جبر mv، اولین بار توسط فلیمینیو و مونتاگنا به عنوان یک جبر mv با حالت درونی (به عنوان یک عمل یکتایی) معرفی شد. دی نولا و دورسنسکیج نوع قوی تری از یک جبر mv با حالت درونی، ارائه دادند. در پایان نامه حاضر مفهوم جبر bl را به عنوان یک جبر bl با حالت درونی معرفی می کنیم. انواع مختلفی از جبرهای bl با حالت درونی مانند جبرهای bl با حالت درونی قوی و جب...
bl- جبرهای ویژه
در این پایان نامه سعی به معرفی و شناخت جبرهای صحیح ، جبرهای ویژه، فیلترهای صحیح و فیلتر های ویژه به منطور شناخت ابعاد مختلف bl- جبرهای و دسته بندی آنها می پردازیم. همچمین ثابت می کنیم اگر f یک فیلتر ماکسیمال و استلزامی در a باشد، آنگاه a یک bl-جبر صحیح و f یک فیلتر اولیه است.
bl-جبرهای(نیم)توپولوژیکی
رساله حاضر بررسی و شرحی پیرامون تحقیقات انجام شده توسط نگارنده بر-blجبرهای (نیم)توپولوژیکی است. در این رساله پس از ارایه پیش نیازهای لازم، نتایج جبری که در ضمن این تحقیقات بدست آمده است را آورده ایم. پس از تعریف bl-جبرهای (نیم) توپولوژیکی و بررسی برخی خواص آنها تاثیر اصول جداسازی بر آنها و bl-جبرهای خارج قسمتی (نیم) توپولوژیکی مورد بحث قرار گرفته است. در ضمن مطالعه مترپذیری مفهو...
15 صفحه اولbl-جبرهای(نیم)توپولوژیکی
دراین پایان نامه bl-جبرهای نیم توپولوژیکی و توپولوژیکی را تعریف می کنیم و شرایطی را بدست می آوریم که یک bl-جبر توپولوژیکی به یک bl-جبر نیم توپولوژیکی تبدیل شود. همچنین یک مجموعه از فیلترها را در bl-جبر a در نظر می گیریم و از مفهوم رابطه همنهشتی نسبت به فیلترها، برای ساختن یک یکنواختی که یک توپولوژی را روی a القا می کند استفاده می کنیم. خواص این توپولوژی را با در نظر گرفتن فیلترهای مختلف مطالعه ...
15 صفحه اولمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه هرمزگان - دانشکده علوم پایه
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023